Câu ví dụ The name Prolog is derived from the phrase 'programming in logic'.Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo logic".